منابع مشابه
Una forma normal temporal independiente del método de deducción
En este trabajo se presenta la definición de una forma normal para una lógica modal temporal. Como lógica objetivo hemos elegido la lógica LNint-e, que destaca por tratarse de una lógica que combina puntos e intervalos y disponer simultáneamente de un tratamiento del tiempo absoluto y relativo. Nuestro principal objetivo al definir la forma normal ha sido dotarla de una absoluta independencia r...
متن کاملAnálisis del algoritmo de optimización por enjambre de partículas por medio de una aplicación gráfica 3D
Particle swarm optimization method has become popular in recent years, because of its efficiency and low computational cost. In this document, a brief analysis of the standard algorithm is performed by a 3D application. The source code of the application is free software and you can download at GitHub.
متن کاملImplementación de reconocimiento de objetos por color y forma en un robot móvil
Resumen. La visión artificial la componen un conjunto de procesos destinados a realizar el análisis de imágenes. Estos procesos son: captación de imágenes, memorización de la información, procesado e interpretación de los resultados. En este art́ıculo se presenta un avance en el aprovechamiento del poder de procesamiento de los nuevos sistemas embebidos para controlar un robot móvil por medio de...
متن کاملOrganización de Conocimientos en Procesos de Ingeniería de Software por Medio de Modelado de Procesos: una Adaptación de SPEM
Este trabajo presenta una adaptación del Software Process Engineering Metamodel (SPEM), enfocada en apoyar en el estudio de procesos de ingeniería de software desde una perspectiva del conocimiento involucrado en los mismos. El objetivo es que los modelos de procesos desarrollados, puedan ser de utilidad para el estudio de necesidades de conocimiento por parte de los encargados del proceso. Lo ...
متن کاملEvolución de descriptores estadísticos de superficie de imágenes por programación genética para el reconocimiento de imágenes por CBIR: una primera aproximación
The steady increase of Internet in our society becomes more evident against the crude fact that more than a half of the internet infor125 Research in Computing Science 116 (2016) pp. 125–134; rec. 2016-03-21; acc. 2016-05-12 mation consists of images. This situation poses an open problem, how to recognize images automatically and unsupervised. The methodology for recognizing images by means of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Materiales de Construcción
سال: 1996
ISSN: 1988-3226,0465-2746
DOI: 10.3989/mc.1996.v46.i244.519